2018

International Conference

[1] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays", Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), pp. 285-294, April 2018. (Västerås, Sweden)

2017

Workshop

[1] Hao Jin, Eun-Hye Choi, and Tatsuhiro TSUCHIYA, "On the generation of constrained locating arrays using an SMT solver", TECHNICAL REPORT OF IEICE, pp. 55-60, October 2017.

2009

International Conference

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pp. 138-142, March 2009.

2006

Academic Journal

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules under Various Rule Processing Strategies", IPSJ Transactions on Databases, 47(19),  pp. 14-27, December 2006.

Domestic Conference

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", Proceedings of the 17th Data Engineering Workshop (DEWS 2006), pp. 1-8, March 2006.

Technical report

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 算譜科学研究速報, (PS-2006-013), pp. 1-21, November 2006.

[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", 算譜科学研究速報, (PS-2006-001), February 2006.

Workshop

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 第４回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.

2002

International Conference

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Optimal k-Coteries That Maximize Availability in General Networks", Proc. of 16th International Conference on Information Networking (ICOIN-16), Lecture Notes in Computer Science , pp. 596-608, January 2002.

2001

Academic Journal

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources", IEICE Transactions on Information and Systems, E84-D(5),  pp. 692-699, May 2001.

Workshop

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Constructing Optimal k-Coteries in General Networks", 電子情報通信学会技術研究報告, 100(569),  pp. 41--48, January 2001.

2000

Academic Journal

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Constructions for Nondominated k-Coteries", IEICE Transactions on Information and Systems, E83-D(7),  pp. 1526-1532, July 2000.

1999

International Conference

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Construction of k-Coteries That Dominate k-Majority Coteries", Proc. of 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC99), pp. 1116-1119, July 1999.

[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "On the Availability of K-Coteries in Networks with Unreliable Nodes and Links", Proc. of the 4th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS99), pp. 225-237, February 1999.

1998

International Conference

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of K-Coteries on Distributed Systems with Unreliable Nodes and Links", Proc. of 1998 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC98), pp. 1685-1690, July 1998.

Workshop

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of k-Coteries on Distributed Systems with Unreliable Nodes and Links", 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98(86),  pp. 25--32, May 1998.

1997

International Conference

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Modeling and Evaluation of Distributed Systems", Proc. of IEEE Pacific Rim International Conference on Fault-Tolerant Systems (PRFTS97), pp. 91-96, December 1997.